program haltの例文

例文

もっと例文:   1  2  3

1. Skilled hackers could conceivably execute nasty little programs as the program halts.
2. However, we know needle exchange programs halt the spread of AIDS and do not encourage illicit drug use.
3. Turing proved no algorithm exists that always correctly decides whether, for a given arbitrary program and input, the program halts when run with that input.
4. Since it is strongly normalising, it is decidable whether or not a simply typed lambda calculus program halts : in fact, it " always " halts.
5. However, if the conjecture is true, then our program will never halt . ( This program halts " only " if it finds a counterexample .)